Statecharts and Variabilities
نویسندگان
چکیده
We present a formalism that allows to specify the behavior of product lines using UML statecharts. We use feature diagrams to describe the common and variant components of a product line, and define mappings that associate features with statecharts, describing the effect of the features on the products in which they are present. We define how to combine different statecharts that specify possible variants of a line. This definition provides a very simple way to obtain the specification of the behavior of any product of the line.
منابع مشابه
Towards e cient model checking Statecharts: A Statecharts to Promela Complier
Harel proposes the graphical language statecharts [Har87] for specifying behavior of reactive systems. Statecharts extend Mealy machines by parallelism and hierarchy. The communication mechanism in statecharts is instantaneous broadcast and the concurrency model is maximal parallelism. Statecharts has been supported by the commercial Statemate tool for about 12 years now. There, statecharts are...
متن کاملStatecharts: From Visual Syntax to Model-Theoretic Semantics
This paper presents a novel model–theoretic account of Harel, Pnueli and Shalev’s original step semantics of the visual specification language Statecharts. The graphical syntax of a Statechart is read, directly and structurally, as a formula in propositional logic. This proposition captures all the logical constraints imposed by the diagram on the Statechart’s semantics, i.e., the possible sets...
متن کاملOn the Computing Power of Statecharts
Statecharts provide a practical and expressive visual formalism to describe reactive systems. They have been adopted by a number of object modeling techniques and languages, such as the UML state machines. Although Statecharts’ semantics has attracted much attention, the computation power of Statecharts was seldom considered. In this paper, we study the computation power of Statecharts by linki...
متن کاملStatecharts : From Visual Syntax to Model { Theoretic
This paper presents a novel model{theoretic account of Harel, Pnueli and Shalev's original step semantics of the visual speciication language Statecharts. The graphical syntax of a Statechart is read, directly and structurally, as a formula in propositional logic. This proposition completely captures all the logical constraints imposed by the diagram on the Statecharts's semantics, i.e., the po...
متن کاملAn Axiomatic Theory of StateCharts
Executive Summary Statecharts provide for the detailed graphical description of real-time computing systems. Extended Real Time Logic (ERTL) provides for the axiomatic description of real-time computing systems. The StateMate tool provides powerful facilities for the construction and validation of Statecharts, using a conceptually simple graphical user interface. In this paper we develop a mapp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008